Enhancing Discrete Event Simulation by Integrating Continuous Models

نویسنده

  • Jane T. Malin
چکیده

This paper describes CONFIG, an implemented hybrid modeling and simulation approach, within a discrete event system framework, and its application to control software validation. CONFIG system models are made up of connected evices and activities, and device models are made up of mode transition models, with behavior models for each mode. Behavior models can be discrete or continuous, and characterize how changes in discrete inputs produce changes in outputs and mode transitions. In CONFIG, two operators, Integrate and Apply-When, are used to compute states or time advances that depend on continuous changes. The Apply-When operator calls external algebraic functions to determine the time advance for a rate-dependent event. The Integrate operator uses a discrete-time approach, providing periodic updates of variables. CONFIG simulations were used to validate advanced control software for gas transfer between chambers during a 90-day manned test of technology for Lunar-Mars life support.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Modeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism

In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...

متن کامل

Modeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism

In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...

متن کامل

SIMULATING CONTINUOUS FUZZY SYSTEMS: I

In previous studies we first concentrated on utilizing crisp simulationto produce discrete event fuzzy systems simulations. Then we extendedthis research to the simulation of continuous fuzzy systems models. In this paperwe continue our study of continuous fuzzy systems using crisp continuoussimulation. Consider a crisp continuous system whose evolution depends ondifferential equations. Such a ...

متن کامل

Integrating Continuous-time and Discrete-event Concepts in Process Modelling, Simulation and Control

Currently, modelling of systems in the process industry requires the use of different specification languages for the specification of the discrete-event and continuous-time subsystems. In this way, models are restricted to individual subsystems of either a continuous-time or discrete-event nature. It is our aim to integrate such models, by using one language for the specification of complete p...

متن کامل

Integrating continuous-time and discrete-event concepts in modelling and simulation of manufacturing machines

Using simulation models for the development and testing of control systems can have significant advantages over using real machines. This paper demonstrates the suitability of the χ language for modelling, simulation and control of manufacturing machines. The language integrates a small number of powerful orthogonal continuous-time and discrete-event concepts. The continuous-time part of χ is b...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2002